C C not C true not C false

This documentation is designed to serve as a user s manual for Signal and Sigali It explains how one can use Signal and Sigali from scratch without any previous knowledge about the architecture of either of them Signal is the compiler of a synchronous data ow language of the same name This language is used for precise speci cation of real time reactive discrete event systems When used with one of its options the Signal compiler produces a Polynomial Dynamical System PDS model of the Signal program in a code appropriate for Sigali Sigali is a model checking tool based on formal calculus which takes this PDS model as input and o ers functionalities for veri cation of system properties and discrete controller synthesis The Signal compiler can also produce code in other formats like the Dc declarative code format which is an equational level encoding of implicit automata or sequential C code Modelling a system in Signal isdt (SIGNAL Graphical Editor & Compiler)